Uses of Class
control.CState

Packages that use CState

control
presentation

Uses of CState in control

Fields in control declared as CState

private CState

SimulatedBy.communityState

Fields in control with type parameters of type CState

private java.util.Set<CState>	Community.CFStates
private java.util.Set<CState>	Community.CStates

Methods in control that return CState

CState	CState.buildNewState(int i, State next) creates a new community state replacing the element in the specified position of an existing community state with a next state of an available service
CState	SimulatedBy.getCommunityState() gets the community state that simulates the target state in this pair
CState	Community.getInitialStates() gets a community state that is final

Methods in control that return types with arguments of type CState

java.util.Iterator<CState>	Community.getCommunityStates() returns all community states created with a Cartesian product of all states of available services
java.util.Iterator<CState>	Community.getFinalCommunityStates() returns community states which are final states as a Cartesian product of all final states of every available services

Methods in control with parameters of type CState

private boolean	Simulation.checkSimulationOfNextState(CState cs, Action as, State nextTState) checks if there is a state of the community going with the selected action to another state that is in simulation with the next state of the target
private void	Community.createCommunityStates(Service s, int loop, CState CSRecord) creates all states of the community as a Cartesian product of states of available services
private void	Community.createFinalCommunityState(Service s, int loop, CState CSRecord) creates all final states of the community as a Cartesian product of final states of available services
boolean	Community.isFinalCommunityState(CState cs) checks if a state of the community is final

Constructors in control with parameters of type CState

SimulatedBy(State ts, CState cs)

Uses of CState in presentation

Fields in presentation declared as CState

private CState	StartStatesDialog.availableInitialStates
private CState	ExecuteOrchestratorPanel.presentStateAvailableServices
private CState	StartStatesDialog.tempAvailableInitialStates

Methods in presentation that return CState

CState

StartStatesDialog.getAvailableStartStates() Getter of start states of available services

Methods in presentation with parameters of type CState

private void

ExecuteOrchestratorPanel.init(State tis, CState ais)